1

Successor Axioms for the Integers

Year:
1961
Language:
english
File:
PDF, 456 KB
english, 1961
2

Introduction to Mathematical Logic.by Alonzo Church

Year:
1957
Language:
english
File:
PDF, 314 KB
english, 1957
3

Successor Axioms for the Integers

Year:
1961
Language:
english
File:
PDF, 424 KB
english, 1961
4

A Problem of Rosser and Turquette

Year:
1958
Language:
english
File:
PDF, 860 KB
english, 1958
6

Identities in Implicative Semilattices

Year:
1973
Language:
english
File:
PDF, 268 KB
english, 1973
13

Recent Publications

Year:
1957
Language:
english
File:
PDF, 575 KB
english, 1957